Programming in the Geometric Machine
نویسندگان
چکیده
This paper presents the programming language induced by the ordered structure of the Geometric Machine Model (GMM). The GMM is an abstract machine model, based on Girard’s coherence space, capable of modelling sequential, alternative, parallel (synchronous) and non-deterministic computations on a (possibly infinite) shared memory. The processes of the GMM are inductively constructed in a Coherence Space of Processes. The memory of the GMM, supporting a coherence space of states, is conceived as the set of points of a three dimensional euclidian space. Using the programming language induced by such structure, simple recursive equations and related algorithms are presented, and their domain-theoretic semantics in the machine model is given.
منابع مشابه
Geometric Programming with Stochastic Parameter
Geometric programming is efficient tool for solving a variety of nonlinear optimizationproblems. Geometric programming is generalized for solving engineering design. However,Now Geometric programming is powerful tool for optimization problems where decisionvariables have exponential form.The geometric programming method has been applied with known parameters. However,the observed values of the ...
متن کاملGeometric Programming Problem with Trapezoidal Fuzzy Variables
Nowadays Geometric Programming (GP) problem is a very popular problem in many fields. Each type of Fuzzy Geometric Programming (FGP) problem has its own solution. Sometimes we need to use the ranking function to change some part of GP to the linear one. In this paper, first, we propose a method to solve multi-objective geometric programming problem with trapezoidal fuzzy variables; then we use ...
متن کاملEstimation of Concentrations in Chemical Systems at Equilibrium Using Geometric Programming
Geometric programming is a mathematical technique, which has been developed for nonlinear optimization problems. This technique is based on the dual program with linear constraints. Determination of species concentrations in chemical equilibrium conditions is one of its applications in chemistry and chemical engineering fields. In this paper, the principles of geometric programming and its comp...
متن کاملA Multi Objective Geometric Programming Model for Optimal Production and Marketing Planning
This paper presents a multi objective geometric programming model which determines the product`s selling price in two markets. We assume demand is a function of price and marketing expenditure in two markets. The cost of production is also assumed to be a function of demands in both markets. Our model is a posynomial function which is solved using Geometric Programming (GP). In our GP implement...
متن کاملDetection of some Tree Species from Terrestrial Laser Scanner Point Cloud Data Using Support-vector Machine and Nearest Neighborhood Algorithms
acquisition field reference data using conventional methods due to limited and time-consuming data from a single tree in recent years, to generate reference data for forest studies using terrestrial laser scanner data, aerial laser scanner data, radar and Optics has become commonplace, and complete, accurate 3D data from a single tree or reference trees can be recorded. The detection and identi...
متن کاملSimulation and prediction of scour whole dimensions downstream of siphon overflow using support vector machine and Gene expression programming algorithms
Background and Objectives: The purpose of this study is to simulate and predict the dimensions of the scour cavity downstream of the siphon overflow using the SVM model and compare it with other numerical methods. The use of the SVM algorithm as a meta-heuristic system in simulating complex processes in which the dependent variable is a function of several independent variables has been widely ...
متن کامل